next(tab) == if ptr(tab)<||tab||  inl(<ptr(tab),st-atom(tab;ptr(tab))>) else inr() fi 

latex

Definitions	if b t else f fi, i<j, ||tab|| , st-atom(tab;n), ptr(tab),
FDL editor aliases	st-next